The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
⚡Proof Automation
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
OSS interview-prep repo for AI, agent architectures and tool-calling
github.com·8h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·21h·
Discuss: Substack
💻Programming languages
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Typst for Your Code Blocks
lambdaland.org·3d
📟Terminal Typography
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·11h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·2h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
_AugmentedIntelligence v3.0 (WIP)
reddit.com·1d·
Discuss: r/homelab
🎙️Whisper
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·8h·
Discuss: Hacker News
📟Terminals
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Build your own cursor
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Flag this post
Show HN: Chemistry AI – A step-by-step chemistry solver for students
chemistryai.chat·26m·
Discuss: Hacker News
🧪Manuscript Chemistry
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
AI in QA: how to use Generative AI in testing without creating technical debt
techradar.com·15h
⚡Proof Automation
Flag this post
Show HN: I built a wizard to turn ideas into AI coding agent-ready specs
vibescaffold.dev·9h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
AI Wins and Losses
dowski.com·1d
🔄Language Evolution
Flag this post
Code Sandbox Tech Behind Manus and Claude Agent Skills
dataleadsfuture.com·23h·
Discuss: Hacker News
⚙️WASM Runtime
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·9h·
Discuss: Hacker News
📄Text Chunking
Flag this post